body {
		font-family: mono;
		font-size: 8pt;
}

input {
		background: white;
		border: 1px solid #DDD;
		width: 90%;
		border-spacing: 0;
		padding: 0;
		margin: 0;
}

div.input {
		// border: 1px solid #DDD;
		border-spacing: 0;
		margin: 0;
		padding: 0;
}

textarea {
		border: 1px solid #DDD;
		border-spacing: 0;
		padding: 0;
		margin: 0;
		font-family: mono;
		font-size: 8pt;
}

hr {
		margin: 1px;
}

td {
		vertical-align: top;
}

td.debug {
		width: 320px;
}